yusuke1997/dblp-id-title huggingface dataset:
Determining the Most Promising Selective Backbone Size for Partial Knowledge Compilation
Reinforcement Learning-Based Heuristics to Guide Domain-Independent Dynamic Programming
MaxSAT-Based Cutting Planes for Learning Graphical Models
Bounded-Error Policy Optimization for Mixed Discrete-Continuous MDPs via Constraint Generation in Nonlinear Programming
Transfer-Expanded Graphs for On-Demand Multimodal Transit Systems
Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin
A Parallel Macro Partitioning Framework for Solving Mixed Integer Programs
A Multistage Stochastic Programming Approach to the Dynamic and Stochastic VRPTW
Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints
Experimental Assessment of a Threshold Selection Algorithm for Tuning Classifiers in the Field of Hierarchical Text Categorization
The Temporal Knapsack Problem and Its Solution
Solving a Stochastic Queueing Control Problem with Constraint Programming
A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint
Constraint Solving on Bounded String Variables
fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints
Proof Logging for the Circuit Constraint
From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP
Leveraging Quantum Computing for Accelerated Classical Algorithms in Power Systems Optimization
Parallelising Lazy Clause Generation with Trail Sharing
Revisiting the Soft Global Cardinality Constraint
Revisiting the Self-adaptive Large Neighborhood Search
Counting Solutions of Integer Programs Using Unrestricted Subtree Detection
Packing by Scheduling: Using Constraint Programming to Solve a Complex 2D Cutting Stock Problem
k-Clustering Minimum Biclique Completion via a Hybrid CP and SDP Approach
Improving the Cooperation Between the Master Problem and the Subproblem in Constraint Programming Based Column Generation
Symmetry Breaking Inequalities from the Schreier-Sims Table
Efficient Haplotype Inference with Combined CP and OR Techniques
Arc Consistency Revisited
Building Models through Formal Specification
Core Boosting in SAT-Based Multi-objective Optimization
Learning to Solve Job Shop Scheduling Under Uncertainty
Weighted Spanning Tree Constraint with Explanations
A Study on the Traveling Salesman Problem with a Drone
A Comparative Study of MIP and CP Formulations for the B2B Scheduling Optimization Problem
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings
Mobility Allowance Shuttle Transit (MAST) Services: MIP Formulation and Strengthening with Logic Constraints
Constrained Clustering Using Column Generation
Frequency-Based Multi-agent Patrolling Model and Its Area Partitioning Solution Method for Balanced Workload
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem
Iterated Greedy Constraint Programming for Scheduling Steelmaking Continuous Casting
Analyzing the Numerical Correctness of Branch-and-Bound Decisions for Mixed-Integer Programming
MiniZinc with Functions
Online Optimization of a Dial-a-Ride Problem with the Integral Primal Simplex
Optimized Scheduling of Medical Appointment Sequences Using Constraint Programming
Self-supervised Penalty-Based Learning for Robust Constrained Optimization
Sharpening Constraint Programming Approaches for Bit-Vector Theory
Problem Decomposition for Traffic Diversions
Boolean-Arithmetic Equations: Acquisition and Uses
Learning When to Use a Decomposition
The Challenge of Generating Spatially Balanced Scientific Experiment Designs
Objective-Based Counterfactual Explanations for Linear Discrete Optimization
Deep Inverse Optimization
An Experimental Evaluation of Max-SAT and PB Solvers on Over-Subscription Planning Problems
Shattering Inequalities for Learning Optimal Decision Trees
Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective
The Steel Mill Slab Design Problem Revisited
Formulations and Reformulations in Integer Programming
The Markov Transition Constraint
Optimized Item Selection to Boost Exploration for Recommender Systems
G12 - Towards the Separation of Problem Modelling and Problem Solving
Rapid Learning for Binary Programs
Models and Symmetry Breaking for 'Peaceable Armies of Queens'
An In-Out Approach to Disjunctive Optimization
A Shortest Path-Based Approach to the Multileaf Collimator Sequencing Problem
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings
An Exploration of Exact Methods for Effective Network Failure Detection and Diagnosis
Symmetry and Search in a Network Design Problem
Propagating Separable Equalities in an MDD Store
Local Search and Constraint Programming for a Real-World Examination Timetabling Problem
Learning How to Propagate Using Random Probing
Solving the Quorumcast Routing Problem as a Mixed Integer Program
CP and Hybrid Models for Two-Stage Batching and Scheduling
Combining Incomplete Search and Clause Generation: An Application to the Orienteering Problems with Time Windows
Ensuring Agent Properties under Arbitrary Sequences of Incoming Events
Constrained Machine Learning Through Hyperspherical Representation
Six Ways of Integrating Symmetries within Non-overlapping Constraints
The WeightedCircuitsLmax Constraint
The AllDifferent Constraint with Precedences
Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems
Modeling and Solving the Generalized Test Laboratory Scheduling Problem
A Reservoir Balancing Constraint with Applications to Bike-Sharing
A Constraint Programming Approach to Electric Vehicle Routing with Time Windows
A Pipe Routing Hybrid Approach Based on A-Star Search and Linear Programming
Adaptive CP-Based Lagrangian Relaxation for TSP Solving
Max Energy Filtering Algorithm for Discrete Cumulative Resources
Modeling Robustness in CSPs as Weighted CSPs
Hybrid Variants for Iterative Flattening Search
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, May 20-23, 2008, Proceedings
Hybrid Branching
Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems
A Comparison of Optimization Methods for Multi-objective Constrained Bin Packing Problems
Rail Capacity Modelling with Constraint Programming
Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors
Solving a Log-Truck Scheduling Problem with Constraint Programming
A Benders'Approach to a Transportation Network Design Problem
A Search-Infer-and-Relax Framework for Integrating Solution Methods
Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables
Constraint-Based Fitness Function for Search-Based Software Testing
A Dynamic Discretization Discovery Algorithm for the Minimum Duration Time-Dependent Shortest Path Problem
More Robust Counting-Based Search Heuristics with Alldifferent Constraints
Global Propagation of Practicability Constraints
Proteus: A Hierarchical Portfolio of Solvers and Transformations
Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning
Learning General Constraints in CSP
Improved Algorithm for the Soft Global Cardinality Constraint
Learning a Propagation Complete Formula
Progress on the Progressive Party Problem
Conflict-Directed A* Search for Soft Constraints
Branch-Cut-and-Propagate for the Maximum k -Colorable Subgraph Problem with Symmetry
A Constraint Programming Approach to the Hospitals / Residents Problem
A New Solver for the Minimum Weighted Vertex Cover Problem
A Bit-Vector Solver with Word-Level Propagation
Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing
Understanding the Potential of Propagators
Solving the Longest Simple Path Problem with Constraint-Based Techniques
Solver Independent Rotating Workforce Scheduling
Embedding Decision Trees and Random Forests in Constraint Programming
A Constraint Programming Model for the Electric Bus Assignment Problem with Parking Constraints
Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs
Optimization Methods for the Partner Units Problem
Improving the Held and Karp Approach with Constraint Programming
Airline Scheduling: Accomplishments, Opportunities and Challenges
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
Freight Train Threading with Different Algorithms
The Power of Semidefinite Programming Relaxations for MAX-SAT
CP Methods for Scheduling and Routing with Time-Dependent Task Costs
A Relax-and-Cut Framework for Gomory's Mixed-Integer Cuts
BDD-Guided Clause Generation
Lagrangian Decomposition via Sub-problem Search
Robustness Verification in Neural Networks
Forward-Checking Filtering for Nested Cardinality Constraints: Application to an Energy Cost-Aware Production Planning Problem for Tissue Manufacturing
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms
Maximising the Net Present Value for Resource-Constrained Project Scheduling
Learning Heuristics for Combinatorial Optimization Problems on K-Partite Hypergraphs
Simple Rules for Low-Knowledge Algorithm Selection
Explaining Propagators for s-DNNF Circuits
Explaining Flow-Based Propagation
Shaping Reward Signals in Reinforcement Learning Using Constraint Programming
Evaluating Ising Processing Units with Integer Programming
A Column Generation Based Destructive Lower Bound for Resource Constrained Project Scheduling Problems
Matrix Interdiction Problem
Constraint Programming and Combinatorial Optimisation in Numberjack
An Efficient Relaxed Projection Method for Constrained Non-negative Matrix Factorization with Application to the Phase-Mapping Problem in Materials Science
Upgrading Shortest Paths in Networks
Minimal Perturbation in University Timetabling with Maximum Satisfiability
Reinforcement Learning for Variable Selection in a Branch and Bound Algorithm
Constraint and Mathematical Programming Models for Integrated Port Container Terminal Operations
Stochastic Task Networks - Trading Performance for Stability
Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming
Don't Explain Noise: Robust Counterfactuals for Randomized Ensembles
Towards Copeland Optimization in Combinatorial Problems
Randomized Adaptive Vehicle Decomposition for Large-Scale Power Restoration
Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs
A Counting-Based Approach to Scalable Micro-service Deployment
A Global Constraint for Nesting Problems
Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem
MDDs Boost Equation Solving on Discrete Dynamical Systems
Accelerated Discovery of Set Cover Solutions via Graph Neural Networks
Improving Strong Branching by Propagation
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
Reconsidering Mixed Integer Programming and MIP-Based Hybrids for Scheduling
The tree Constraint
Filtering Atmost1 on Pairs of Set Variables
Optimal Interdiction of Unreactive Markovian Evaders
Nondeterministic Control for Hybrid Search
Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
Preference Elicitation and Preference Learning in Social Choice
Simple Temporal Problems in Route Scheduling for the Dial-a-Ride Problem with Transfers
The Conjunction of Interval Among Constraints
Embedded Systems Design: Optimization Challenges
Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results
Analyzing the Reachability Problem in Choice Networks
Learning a Classification of Mixed-Integer Quadratic Programming Problems
A Hybrid Branch-And-Cut Algorithm for the One-Machine Scheduling Problem
Hybrid Classification and Reasoning for Image-Based Constraint Solving
Exploiting Entropy in Constraint Programming
Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Knapsack Problem
Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver
The Traveling Social Golfer Problem: The Case of the Volleyball Nations League
Stable Roommates and Constraint Programming
A Global Constraint for Mining Sequential Patterns with GAP Constraint
On the Separability of Subproblems in Benders Decompositions
Learning Variable Activity Initialisation for Lazy Clause Generation Solvers
A Dynamic Programming Approach for the Job Sequencing and Tool Switching Problem
Towards a MIP-Cut Metascheme
Debugging Unsatisfiable Constraint Models
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations
Explainable Algorithm Selection for the Capacitated Lot Sizing Problem
Upper Bounds on the Number of Solutions of Binary Integer Programs
Minimum Makespan Vehicle Routing Problem with Compatibility Constraints
Fast and Scalable Domino Portrait Generation
A Constraint Programming Approach for the Service Consolidation Problem
A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem
A Time-Dependent No-Overlap Constraint: Application to Urban Delivery Problems
Improving a Branch-and-Bound Approach for the Degree-Constrained Minimum Spanning Tree Problem with LKH
Combining Forces to Solve the Car Sequencing Problem
Integration of Rules and Optimization in Plant PowerOps
A Constraint-Based Local Search for Edge Disjoint Rooted Distance-Constrained Minimum Spanning Tree Problem
Automatically Exploiting Subproblem Equivalence in Constraint Programming
On Beam Search for Multicriteria Combinatorial Optimization Problems
Generating Benders Cuts for a General Class of Integer Programming Problems
A Hybrid Approach for Solving Shift-Selection and Task-Sequencing Problems
SAT Encodings of Pseudo-Boolean Constraints with At-Most-One Relations
Complete Characterization of Near-Optimal Sequences for the Two-Machine Flow Shop Scheduling Problem
Core-Boosted Linear Search for Incomplete MaxSAT
Derivative-Free Optimization: Lifting Single-Objective to Multi-Objective Algorithm
Logic-Based Benders Decomposition for an Inter-modal Transportation Problem
Duality in Optimization and Constraint Satisfaction
A * -Based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem
Conditional Lexicographic Orders in Constraint Satisfaction Problems
A Hybrid Approach Integrating Generalized Arc Consistency and Differential Evolution for Global Optimization
Modelling with Option Types in MiniZinc
Optimizing Student Course Preferences in School Timetabling
CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications
On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables
Activity-Based Search for Black-Box Constraint Programming Solvers
Cutting Plane Selection with Analytic Centers and Multiregression
A Novel Approach For Detecting Symmetries in CSP Models
A Constraint Programming Approach for Aircraft Disassembly Scheduling
Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach
Computing Explanations for the Unary Resource Constraint
Graph Coloring Facets from All-Different Systems
Scenario-Based Learning for Stochastic Combinatorial Optimisation
The Smart Table Constraint
Cost Propagation - Numerical Propagation for Optimization Problems
Learning and Propagating Lagrangian Variable Bounds for Mixed-Integer Nonlinear Programming
Connections in Networks: Hardness of Feasibility Versus Optimality
The Increasing Nvalue Constraint
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Some New Tractable Classes of CSPs and Their Relations with Backtracking Algorithms
Handling Symmetries in Mixed-Integer Semidefinite Programs
Computing Tight Time Windows for RCPSPWET with the Primal-Dual Method
Improving the Robustness of EPS to Solve the TSP
Revisiting Pseudo-Boolean Encodings from an Integer Perspective
An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin Tournaments
Building Optimal Steiner Trees on Supercomputers by Using up to 43, 000 Cores
Observation Strategies for Event Detection with Incidence on Runtime Verification
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings
Local Search for a Cargo Assembly Planning Problem
Characterization and Automation of Matching-Based Neighborhoods
Backdoors to Combinatorial Optimization: Feasibility and Optimality
Shorter Path Constraints for the Resource Constrained Shortest Path Problem
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Scalable Load Balancing in Nurse to Patient Assignment Problems
The Weighted Spanning Tree Constraint Revisited
Modelling and Solving the Senior Transportation Problem
Propagation in Constraints: How One Thing Leads to Another
A New CP-Approach for a Parallel Machine Scheduling Problem with Time Constraints on Machine Qualifications
Super Solutions in Constraint Programming
Enumerative Branching with Less Repetition
A FastMap-Based Algorithm for Block Modeling
A Hybrid LS/CP Approach to Solve the Weekly Log-Truck Scheduling Problem
Explicit and implicit aspects of human cognition and behavior
User preferences profiling based on user behaviors on Facebook page categories
Detection of Unreliable Medical Articles on Thai Websites
Proposed Structural Validation-based Testing for Object-Oriented Programming
Forecasting Hydroelectric Production in Nepal Using Knime Analytics
Detect Sitting Pose for Ergonomics Assessment with Image Processing
Electronic Nose for Analysis of Coffee Beans Obtained from Different Altitudes and Origin
Question Answering Based on Ensemble Classifier for University Enrolment Advising
Thai-Isarn Dialect Parallel Corpus Construction for Machine Translation
Experiences with empirical modelling tools in schools in Greece and Thailand
Discovery and Visualization of Expertise Evolution and Tendency
Vehicle-to-Vehicle Energy Trading Blockchain System for Electric Vehicles
Discriminative Dimension Selection for Enhancing the Interpretability and Performance of Clustering Output
Applied Particle Swarm Optimization in Solving Container Loading Problem for Logistics
Flexible interval representation system in negative binary base
Building Minimal Classification Rules for Breast Cancer Diagnosis
Integrated Wearable Smart Band and Autonomous Mobile Robot for Elderly Care
Human-Human Chain of Moral Disgust
Multipedal - Multilayer Perceptron Demographic Targeting Algorithm
Audiovisual semantic congruency effect with onomatopoeia
Bi-slotted Fast Query Tree-based Anti-Collision Algorithm for Large Scale of RFID Systems
Improvement in detection of abandoned object by pan-tilt camera
A Verifiable and Secure E-Transcript System Using Self-Sovereign Id and Blockchain
Experimental study of time series-based dataset selection for effective text classification
Sentiment analysis for short Chinese text based on character-level methods
Measure of the Ability Dominance of Tournament Systems and Subjective Judgment
How People Attribute Minds to Non-Living Entities
Social Media's Impact on Creative Thought
Optimizing Database Image Retrieval with In-Memory Key-Value Store, Image Compression, and Smart Cache Updater Algorithm
Human learning and machine learning: Building bridges or integration?
An Improved Computer Vision for Pothole Detection Using YOLO
Pattern extraction from northern Thai fabrics using flexibly matching segments: Sarong Teenjok and Lanna textiles
A Study of Air Pollution Smart Sensors LPWAN via NB-IoT for Thailand Smart Cities 4.0
Differential Evolution for Classification: A Novel Classifier Technique in Data Mining
Device-to-Device Collaborative Learning for Self-Localization with Previous Model Utilization
DOTA: Deformable Optimized Transformer Architecture for End-to-End Text Recognition with Retrieval-Augmented Generation
The method to read nutrient quantity in guideline daily amounts label by image processing
Fault detection for circulating water pump using time series forecasting and outlier detection
Multiple ARIMA subsequences aggregate time series model to forecast cash in ATM
Discovering interesting itemsets based on change in regularity of occurrence
16th International Conference on Knowledge and Smart Technology, KST 2023, Krabi, Thailand, February 28 - March 2, 2024
Classification of acute leukemia using CD markers
Research on the Provision of User-friendly Tourist Information using Information Processing Technology
q-Sine Circular Extreme Learning Machine for High Dimensional Data
14th International Conference on Knowledge and Smart Technology, KST 2022, Chon buri, Thailand, January 26-29, 2022
Evaluation of Physical Exercise for Osteoarthritis of the Knee through Image Processing Technique
13th International Conference on Knowledge and Smart Technology, KST 2021, Bangsaen, Chonburi, Thailand, January 21-24, 2021
VAPE-BRIDGE: Bridging OpenVAS Results for Automating Metasploit Framework
Dementia Detection Using Transfer Learning from Recorded Speech
Resource Balanced Service Chaining in NFV-enabled Inter-Datacenter Elastic Optical Networks
Hey Alexa ... Examining Factors Influencing the Educational Use of AI-Enabled Voice Assistants During the COVID-19 Pandemic
Improvement of Scanned Medical Document Management System
A smart photovoltaic system with Internet of Thing: A case study of the smart agricultural greenhouse
Sampled-data control for continuous-time Markovian jump fuzzy systems
Smarter Parking Systems for Rainy Days
Towards Drug Discovery: A Comparative Study of Machine Learning-enhanced QSAR Prediction
Motor insurance knowledge management in AIML format using tree structured dictionary mechanism and conceptual graph
Design and Analysis of 5GHz Microwave Absorber
Smart Detection and Reporting of Potholes via Image-Processing using Raspberry-Pi Microcontroller
Towards an open monitoring platform for improving energy efficiency and thermal comfort in public buildings
Rapid and Accurate Abnormal Oct Image Detection Using Ml-Based on Intensity Line Profile Features
Network Traffic Threat Feature Recognition Based on a Convolutional Neural Network
A left eye bias for female faces
Leaf identification using apical and basal features
A computer vision based vehicle detection and counting system
The Roles of Color Lightness and Saturation in Inducing the Perception of Miniature Faking
Research on YOLOv8 Application in Bolt and Nut Detection for Robotic Arm Vision
Creative Knowledge Employees' Assesment of Flexitime Utilisability
A Survey on the Multiple Classifier for New Benchmark Dataset of Vietnamese News Classification
Analyzing Machine Learning Models for Multiclass Classification of Human Stress Levels: Comparison Between Balanced and Imbalanced Data
Analysis of Defect Associated with Powder Bed Fusion with Deep Learning and Explainable AI
Development of Digital Media using Augmented Reality for HM King Prajadhipok's Interests in Arts and Culture
Feature Selection for Composer Classification Method using Quantity of Information
Study on extracting implicit patterns of patent data based on timeline
Dynamic Difficulty Scaling for Proof-of-Work Consensus Protocol
IoT-Based Serious Game for Promoting the Psychomotor Competencies
Social network user identification